matching theorems

[数] 匹配定理